Step of Proof: decidable__assert
9,38
postcript
pdf
Inference at
*
1
2
1
I
of proof for Lemma
decidable
assert
:
(
ff)
latex
by BackThruLemma `assert_of_ff`
latex
.
Definitions
A
Lemmas
assert
of
ff
origin
(
ff)
by BackThruLemma `assert_of_ff`
. (ff)
by BackThruLemma `assert_of_ff`
.A